sub trait
RustのTrait
の継承のこと
例
code:rs
trait Applicative: Functor {
...
}